2

AC Unification Through Order-Sorted AC1 Unification

Year:
1992
Language:
english
File:
PDF, 992 KB
english, 1992
6

Enumeration formula for -cubes in discrete planes

Year:
2012
Language:
english
File:
PDF, 462 KB
english, 2012
10

Palindromic language of thin discrete planes

Year:
2016
Language:
english
File:
PDF, 346 KB
english, 2016